Nuprl Lemma : Rbframe_wf 0,22

loc:Id, k:Knd, L:IdLnk List. @lock sends only on links in L  Realizer 
latex


Definitionsx:AB(x), t  T, Realizer, @lock sends only on links in L, Prop, xt(x), x(s)
LemmasId wf, fpf wf, decl-state wf, Knd wf, IdLnk wf, decl-type wf, unit wf

origin